package at.ptasat.solver;

public interface AsyncSolverListener {
	public abstract void enroll(AsyncSolver sender);
	public abstract void solved(AsyncSolver sender);
	public abstract void failed(AsyncSolver sender);
}
